Specifications in an arbitrary institution (1988)

by Donald Sannella , Andrzej Tarlecki
Venue:Inform. and Comput
Citations:90 - 21 self