F. Hofmann S. Keramidis Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung. 121-131 1979 conf/gi/1979 GI Jahrestagung db/conf/gi/gi79.html#HofmannK79