Louise A. Dennis Graham Collins Michael Norrish Richard J. Boulton Konrad Slind Graham Robinson Michael J. C. Gordon Thomas F. Melham The PROSPER Toolkit. 78-92 http://link.springer.de/link/service/series/0558/bibs/1785/17850078.htm 2000 conf/tacas/2000 TACAS db/conf/tacas/tacas2000.html#DennisCNBSRGM00