Duality in specification languages: a lattice-theoretical approach (1990)

by R-J Back, J von Wright
Venue:Acta Inf