1. Conjoining specifications;Abadi;ACM Trans. Program. Languages Systems,1995
2. E. Ábrahám, F.S. de Boer, W.P. de Roever, M. Steffen, A compositional operational semantics for JavaMT, in: N. Dershowitz (Ed.), Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Lecture Notes in Computer Science, Vol. 2772, Springer, Berlin, 2003, pp. 290–303.
3. E. Ábrahám, F.S. de Boer, W.P. de Roever, M. Steffen, Inductive proof outlines for monitors in Java, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 Internat. Conf., FMOODS 2003, Lecture Notes in Computer Science, Vol. 2884, Springer, Berlin, 2003, pp. 155–169.
4. A. Aiken, D. Gay, Barrier inference, in: Proc. 25th Symp. on Principles of Programming Languages, 1998, pp. 243–354.
5. Reactive modules;Alur,1996