Mathematics of Program Construction: Second International Conference, Oxford, U.K., June-July 1992: Proceedings (Lecture Notes in Computer Science)

by: Richard S. Bird · C. C. Morgan Paperback details (USA). ISBN: 978-0-387-56625-2 ISBN-10: 0-387-56625-2 Springer Verlag · 1993