"A layout verification system for analog bipolar integrated circuits."

Erich Barke (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics