Prototype for program analysis - Loo, Poh Kok (1995)