Ein wissensbasiertes Verfahren zur formalen Beschreibung und Auswertung von Randbedingungen in Lasten- und Pflichtenheften für Automatisierungssysteme - Wagner, Bernardo 1957- (1989)
Stuttgart, Univ., Diss.