Software Foundations Vol 3: Verified Functional Algorithms

by Andrew W Appel
Software engineering
Read online