Coherence and consistency in domains (1990)

by C Gunter, A Jung
Venue:Journal of Pure and Applied Algebra