and Razvan Diaconescu. Hiding and Behaviour: an Institutional Approach. This volume (0)

by Rod Burstall
Venue:A Classical Mind: Essays in Honour of C.A.R. Hoare