Correctness of data representations in Algol-like languages. In: A Classical Mind: Essays (1994)

by R Tennent
Venue:in Honour of