Joachim Willems. Nach- und Neuspezifikation von Betriebssystemen mit SARAH-2. In Andreas Reuter, editor, GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings. Volume 257 of Informatik-Fachberichte, pages 224-232, Springer, 1990.
Abstract is missing.