Manipulating logical organization with system factorizations (1989)

by Steven D Johnson
Venue:Hardware Specification, Verification and Synthesis: Mathematical Aspects, volume 408 of LNCS