"Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems."

Marcello M. Bonsangue, Joost N. Kok (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics