Hiding and behaviour: an instiutional approach (1994)

by R Burstall, R Diaconescu
Venue:A Classical Mind. Essays in honour of C.A.R. Hoare