Duality and De Morgan principles for lists (1990)

by D A Turner
Venue:Beauty is our business - A Birthday Salute to Edsger W. Dijkstra, chapter 47