Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham. The PROSPER toolkit. STTT, 4(2):189-210, 2003. [doi]
@article{DennisCNBSM03,
title = {The PROSPER toolkit},
author = {Louise A. Dennis and Graham Collins and Michael Norrish and Richard J. Boulton and Konrad Slind and Thomas F. Melham},
year = {2003},
doi = {10.1007/s100090200076},
url = {http://dx.doi.org/10.1007/s100090200076},
researchr = {https://researchr.org/publication/DennisCNBSM03},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {4},
number = {2},
pages = {189-210},
}