Program Specification (Lecture Notes in Computer Science)
by
J. Staunstrup
Paperback
details (
USA
).
ISBN: 978-0-387-11490-3
ISBN-10: 0-387-11490-4
Springer Verlag
· 1982