Mathematical Structures for Software Engineering
Publisher: Oxford University Press
Published: 1991