Ein Prozessorientierter Ansatz Zur Formalen Spezifikation Von Projekten | Myboeken