Safe systems : construction, destruction, and deconstruction /
Armstrong, Jim.
Paynter, Stephen.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.