Effiziente Konsistenzprüfung durch Funktionenmaterialisierung / Jochen Alt. Düsseldorf : VDI-Verl., 1996