Die Integration formaler Methoden zur Spezifikation von Informationssystemen. - Jörn Mordau (Kovač, 1999)