Specifications in an arbitrary institution (1988)

by Donald Sannella , Andrzej Tarlecki
Venue:Inform. and Comput
Citations:95 - 22 self