Models for legal documentation : using formal methods for quality assurance in hypertext systems by Nick Rossiter. Published by University of Newcastle upon Tyne, Computing Science in 1993. Publication and catalogue information, links to buy online and reader comments.