"On Covers and Precedence Analysis."

Michael A. Harrison (1973)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics