PEARL : an interactive system for the preparation and validation of structured programs by Robert Archer Snowdon. ISBN 0902383205. Published by University of Newcastle upon Tyne, Computing Laboratory in 1971. Publication and catalogue information, links to buy online and reader comments.