Specifications in an arbitrary institution (1988)

by Donald Sannella , Andrzej Tarlecki
Venue:Inform. and Comput
Citations:92 - 23 self