1. Van der Aalst, W.M.P. and Basten, T. (1997). Life-cycle Inheritance: A Petri-Net-Based Approach
2. in Proc. 18th International Conference on Applications and Theory of Petri Nets, ICATPN'97, P. Azéma and G. Balbo Eds., Toulouse (F), June 1997, LNCS 1248, Springer-Verlag.
3. Balzarotti, C., De Cindio, F. and Pomello, L. (1999). Observation Equivalence for the Semantics of Inheritance; In Proc. FMOODS ‘89. P. Ciancarini, A. Fantechi & R. Gorrieri eds, pp 67–82.
4. Brinksma, E., Scollo, G. and Steenbergen, Ch. (1987). LOTOS specifications, their implementations and their tests. In B. Sarikaya and G.v. Bochmann, editors, Protocol Specification, Testing and Verification VI,pages 349–358. Elsevier.
5. Van Glabbeek, R. and Goltz, U. (1989). Equivalence notions for concurrent systems and refinement of actions; MFCS
89, LNCS 379, Springer-Verlag.