Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer. Systematic Development of Formal Software Process Models. In Carlo Ghezzi, John A. McDermid, editors, ESEC 89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Volume 387 of Lecture Notes in Computer Science, pages 100-117, Springer, 1989.
Abstract is missing.