"Labelled Reductions, Runtime Errors and Operational Subsumption."

Laurent Dami (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics