1. W.M.P. van der Aalst and T. Basten. Life-cycle inheritance: A Petri-net-based approach. In P. Azaecutema and G. Balbo, editors, Application and Theory of Petri Nets, volume 18, pages 62–81. Springer-Verlag, June 1997.
2. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
3. T. Basten and W.M.P. van der Aalst. A process-algebraic approach to life-cycle inheritance: Inheritance = encapsulation + abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, March 1996.
4. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–29, 1988.
5. D. D’Souza and A. Wills. Catalysis: Practical Rigor and Refinement. Addison-Wesley, 1998.