Verification of electronic designs by reconstruction of the hierarchy - Kostelijk, Anton Pieter (Technická univerzita, 1994)