Download Theory And Formal Methods 1993: 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