Program Construction Verificat
by
Backhouse
Paperback
details (
USA
).
ISBN: 978-0-13-728981-3
ISBN-10: 0-13-728981-2
Prentice Hall
· 1989