Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit. - Manfred Nolle (VDI-Verlag, 1986)