Digital system behavioural description partitioning methodology for design automation purposes : Kand.diz.práca : V.odb. 26-17-9 : Obh. 03.06.1993 : Projekt III-8-1/14 - Mirkowski, Jaroslaw (STU v Bratislave FEI, 1992)