Book details Software Foundations Vol 3: Verified Functional Algorithms by Andrew W Appel Topics: Software engineering