1. K. Benali, N. Boudjlida, F. Charoy, and J.C. Derniame. A Model for Assisted Software Processes. In Proceedings of ICCI, Toronto, Canada, June 1989.
2. C. Boarder, H. Obink, M. Schmidt, and A. Völker. ATMOSPHERE, Advanced Techniques and Methods of System Production in a Heterogeneous, Extensible, and Rigorous Environment. In Proceedings of the 1st Conference on System Development Environments and Factories Moretonhamstead UK, May 1989.
3. W. Deiters and V. Gruhn. Managing Software Processes in MELMAC. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, USA, December 1990. Appeared as Software Engineering Notes, 15(6), December 1990.
4. W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.
5. H.J. Genrich. Predicate/Transition Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to other Models of Concurrency, Berlin, FRG, 1987. Springer. Appeared in Lecture Notes on Computer Science 254.