"A Denotational Definition of the Semantics of DRC, A Domain Relational ..."

Georges Louis, Alain Pirotte (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics