Proceedings of the (19th) International Conference on Software Engineering Software Engineering, 1997., Proceedings of the 1997 International Conference on. :560-561 1997
Ingolfsdottir, A & Schalk, A 1995, A Fully Abstract Denotational Model for Observational Precongruence . in Bünung, Hans Kleine (ed.) (ed.), Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995 : Lecture Notes in Computer Science . 1092 edn, IEEE Computer Society Press, pp. 335-361, A Fully Abstract Denotational Model for Observational Precongruence, 19/05/2010 .