Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Burn, Geoffrey; Gay, Simon 1969-; Ryan, Mark (Springer-Verlag, 1993)