On the Construction of Programs: An Advanced Course

Hardcover

details (UK).

ISBN: 978-0-521-23090-2

ISBN-10: 0-521-23090-X

Cambridge University Press