Executable specifications for data-type constructors (1990)

by John W Gray
Venue:Diagrammes