The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

by Glynn Winskel Hardcover details (USA). ISBN: 978-0-262-23169-5 ISBN-10: 0-262-23169-7 The MIT Press · 1993