Equational reasoning in Isabelle (1989)

by Tobias Nipkow
Venue:Science of Computer Programming