1. Erika Ábrahám et al. “Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes”. In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20–24, 2004, Revised Selected Papers. 2004, pp. 37–51.
2. Wolfgang Ahrendt and Maximilian Dylla. “A system for compositional verification of asynchronous objects”. In: Sci. Comput. Program. 77.12 (2012), pp. 1289–1309.
3. Frank S. de Boer, Dave Clarke, and Einar Broch Johnsen. “A Complete Guide to the Future”. In: Programming Languages and Systems, 16th European Symposium on Programming ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software ETAPS 2007, Braga, Portugal, March 24 April 1, 2007, Proceedings. 2007, pp. 316–330.
4. Crystal Chang Din et al. “Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages”. In: Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings. 2017, pp. 22–43.
5. Einar Broch Johnsen et al. “ABS: A Core Language for Abstract Behavioral Specification”. In: Formal Methods for Components and Objects, FMCO, Graz, Austria. Revised Papers. LNCS. Springer, 2010. DOI: 10.1007/978-3-642-25271-6_8