Mathematical Foundations of Programming Semantics
Publisher: Springer Verlag
Published: 1990-01-01
ISBN-13: 9783540973751