"A design automation system for electronic switching systems."

T. Hosaka, K. Ueda, H. Matsuura (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics