author : Paul A. Strooper

Short works

• Complete sets of frontiers in logic-based program transformation. 1989. (In Meta-Programming in Logic Programming )
• Formal Derivation of Finite State Machines for Class Testing. 1998. (In ZUM '98 )