Algebraic Methodology and Software Technology 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings Alagar, V.S. Heftet / 1995 / Engelsk
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 Alagar, V.S. Heftet / 1993 / Engelsk
Incompleteness and Uncertainty in Information Systems Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993 Alagar, V.S. Heftet / 1994 / Engelsk
