Hudak & C Consel [June 1991], "Monitoring Semantics: A formal framework for specifying, implementing, and reasoning about execution monitors (0)

by AS Kishon, P
Venue:SIGPLAN '91 Conference on Programming Language Design and Implementation