Equational reasoning. Unpublished course notes (1992)

by Tobias Nipkow