Coherence and consistency in domains (extended outline (1988)

by C A Gunter, A Jung
Venue:Logic in Computer Science