Sven Overhage. Vereinheitlichte Spezifikation von Komponenten: Grundlagen, UnSCom Spezifikationsrahmen und Anwendung. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2006. Volume D-7 of LNI, pages 149-158, GI, 2006. [doi]
Abstract is missing.