Monitoring semantics: A formal framework for specifying, implementing, and reasoning about execution monitors (1991)

by A Kishon, P Hudak, C Consel
Venue:Proceedings of SIGPLAN'9L Conference on Programming Language Design and Implementation