and Andrzej Tarlecki. Specifications in an arbitrary institution (1988)

by Donald Sannella
Venue:Information and Computation