A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. - Diederik Verkest; J. Vandenbergh; Luc J. M. Claesen; Hugo De Man (TPCD, 1992)