Type-safe two-level data transformation (2006)

by A Cunha, J N Oliveira, J Visser
Venue:Proc. Formal Methods, 14th Int. Symp. Formal Methods Europe, volume 4085 of LNCS