Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach (1994)

by Rod
Venue:Laboratory for Foundations of Computer Science, University of Edinburgh