"Full Abstractness of a Metric Semantics for Action Refinement."

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics