Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets. - Bin Zhu 005 (1999)