The calculus of boolean structures (Part1 (1987)

by E W Dijkstra