KARL-II - eine Sprache zur Spezifikation beim Entwurf Kunden-spezifischer Digital-bausteine - Weber, Bernd (1982)