Robert Cartwright, Matthias Felleisen
Observable Sequentiality and Full Abstraction
POPL, 1992.
@inproceedings{POPL-1992-CartwrightF, author = "Robert Cartwright and Matthias Felleisen", booktitle = "{Conference Record of the 19th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/143165.143232", editor = "Ravi Sethi", isbn = "0-89791-453-8", pages = "328--342", publisher = "{ACM Press}", title = "{Observable Sequentiality and Full Abstraction}", year = 1992, }