British Computer Society, Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England), Burn, G., Gay, S., & Ryan, M. (1993). 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. Springer-Verlag.
Cita Chicago (17th ed.)British Computer Society, Technology Imperial College of Science, England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, Geoffrey Burn, Simon Gay, i Mark Ryan. 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. London: Springer-Verlag, 1993.
Cita MLA (9th ed.)British Computer Society, et al. 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. Springer-Verlag, 1993.