"To appear in ACM Trans. Math. Software, 1984”.
A generalized interval package and its use for semantic checking by Alan Bundy. Published by Department of Artificial Intelligence, University of Edinburgh in 1984. Publication and catalogue information, links to buy online and reader comments.