Labelled reductions, runtime errors and operational subsumption (1997)

by L Dami
Venue:of Lecture Notes in Computer Science