Coherence and Consistency in Domains (1990)

by Carl A. Gunter, Achim Jung
Venue:IN THIRD ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE