"SAME - A Structured Analysis Tool and its Implementation in Prolog."

Thomas W. G. Docker (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics