Equational Reasoning via Partial Reflection

by H. Geuvers, F. Wiedijk, J. Zwanenburg