"The Attributed-Behavior Abstraction and Synthesis Tools."

Lawrence F. Arnstein, Donald E. Thomas (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics