P. J. Lupton Promoting Forward Simulation. 27-49 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#Lupton90