The PROSPER Toolkit - Dennis, L; Collins, G; Norrish, M; Boulton, R; Slind, K; Robinson, G; Gordon, M; Melham, T (Springer−Verlag, 2000)