The Cuppest Capjunctive Capping, and Galois (1994)

by C C Morgan
Venue:Classical Mind: Essays in Honour of C.A.R. Hoare, Prentice-Hall International Series in Computer Science