Hudak and Charles Consel, ‘Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors (1991)

by Amir Kishon, Paul
Venue:Proc. SIGPLAN’91 Conference on Programming Language Design and Implementation