@inproceedings{b184d040003c11dab4d5000ea68e967b,
title = "A Fully Abstract Denotational Model for Observational Precongruence",
author = "Anna Ingolfsdottir and A. Schalk",
note = "ISSN ; -; A Fully Abstract Denotational Model for Observational Precongruence ; Conference date: 19-05-2010",
year = "1995",
language = "English",
pages = "335--361",
editor = "{B{\"u}nung, Hans Kleine (ed.)}",
booktitle = "Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1092",
}