Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module - a case study. - Luc Claesen; R. T. Boute; J. De Man; W. Ploegaerts; M. Seutter; J. Vanslembrouck; Diederik Verkest (Microprocessing and Microprogramming, 1989)

Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language. - W. Ploegaerts; Diederik Verkest; Luc Claesen; Hugo De Man (Microprocessing and Microprogramming, 1989)

Defining Recursive Functions in HOL. - W. Ploegaerts; Luc J. M. Claesen; Hugo De Man (TPHOLs, 1991)