Technical methods in philosophy - John L. Pollock (Westview Press, 1990)
stoc6, c.1