A theory for program and data type specification (1992)

by Carolyn Talcott
Venue:Theoretical Computer Science