Speci in an arbitrary institution (1988)

by D Sannella, A Tarlecki
Venue:Information and Computation