Equational reasoning in Isabelle (1989)

by T Nipkow
Venue:Sci. Comp. Prg