British Computer Society, Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Canada), Alagar, V. S., Lakshamanan, L. V., & Sadri, F. (1993). Formal methods in databases and software engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Springer-Verlag.
Čikaški stil citiranja (17. izdanje)British Computer Society, Canada) Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Vangalur S. Alagar, Laks V. Lakshamanan, i Feridon Sadri. Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. London: Springer-Verlag, 1993.
MLA način citiranja (9. izdanje)British Computer Society, et al. Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Springer-Verlag, 1993.