Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
Browse the full SAFECOMP paper archive.