Designing secure and reliable applications using FRS : an object-oriented approach by J.-C. Fabre. Published by University of Newcastle upon Tyne, Computing Science in 1993. Publication and catalogue information, links to buy online and reader comments.