Formal Proof: Reconciling Correctness and Understanding (2009)

by Cristian S. Calude , Christine Müller