%O Book 
%F imperial1994
%T Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge, 11-14 September 1994
%B Theory and Formal Methods
%E Hankin, Chris
%E Mackie, Ian
%E Nagarajan, Rajagopal
%I Imperial College Press
%D 1994