Ein einfaches formales System zur Analyse und Synthese ungetakteter Steuerwerksverbünde. - Andreas Amoroso (1997)