Model Checking Liveness Properties of Higher−Order Functional Programs

Martin M. Lester‚ Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay