Specification and Transformation of Programs
            
                Monographs in Computer Science
Publisher: Springer
Published: 1990
ISBN-13: 9783540523567