Lambert G. L. T. Meertens Paramorphisms. 413-424 1992 4 Formal Asp. Comput. 5 db/journals/fac/fac4.html#Meertens92