KARL-II - eine Sprache zur Spezifikation beim Entwurf Kunden-spezifischer Digitalbausteine - Hartenstein, Reiner (Universität Kaiserslautern, Fachbereich Informatik. Interner Bericht, 1982)