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.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र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, और 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.
एमएलए (9वां संस्करण) प्रशस्ति पत्र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.