A theory for program and data specification (1990)

by C L Talcott
Venue:In Design and Implementation of Symbolic Computation Systems, DISCO'90