1. Specification structures and propositions-as-types for concurrency;Abramsky;Lecture Notes in Computer Science,1996
2. Samson Abramsky, Simon J. Gay, and Rajagopal Nagarajan. Interaction categories and the foundations of typed concurrent programming. In M. Broy, editor, Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F: Computer and System Sciences. Springer, 1994.
3. Samson Abramsky, Radha Jagadeesan, and Pasquale Malacaria. Full abstraction for PCF (extended abstract). In Proceedings of TACS '94. Springer, 1994.
4. Bisimulation and open maps;Joyal;Information and Computation,1996
5. Toposes, Triples and Theories;Barr,1984