Pavel Vogel: Wiederaufsetzen nach Fehlern in einem Prozeßorientierten Betriebssystem. GI Jahrestagung 1977: 95-108