Book

Normalisation in practice

by Andy Alaszewski