Pointwise Relational Programming (2000)

by O de Moor, J Gibbons
Venue:In Algebraic Methodology and Software Technology, volume 1816 of LNCS