Ensuring termination in ESFP (2000)

by A Telford, D Turner
Venue:Journal of Universal Computer Science