Pointwise Relational Programming (2000)

by Oege De Moor , Jeremy Gibbons
Venue:In Algebraic Methodology and Software Technology, volume 1816 of LNCS
Citations:6 - 0 self