A microprogramming language at register transfer level. - Gérard Ballieu; Johan Lewi; Yves D. Willems (Microprocessing and Microprogramming, 1981)

A Virtual Machine to Implement Prolog. - Gérard Ballieu (Logic Programming Workshop, 1983)