Effiziente Konsistenzprüfung durch Funktionenmaterialisierung - Jochen Alt (1996)