1. Abadi, M., Lamport, L.: Composing specifications. Trans. Program. Lang. Syst. 15(1), 73–132 (1993)
2. LNCS;M. Abadi,1995
3. LNCS;P.A. Abdulla,2013
4. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Intl. Symp. on Foundations of Software Engineering (FSE), pp. 109–120. ACM, New York (2001)
5. Alur, R., Cerný, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: Palsberg, J., Abadi, M. (eds.) Symp. on Principles of Programming Languages (POPL), pp. 98–109. ACM, New York (2005)