Correct by Construction in F#

Paperback

ISBN: 978-0-321-65871-5

ISBN-10: 0-321-65871-X

Addison-Wesley Educational Publishers Inc