Equational reasoning in Isabelle (1989)

by Tobias Nipkow
Venue:Sci. Comput. Program