ory and computation - Wood, Derick (New York, 1987)