Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. - Amir Kishon; Paul Hudak; Charles Consel (PLDI, 1991)

Semantics Directed Program Execution Monitoring. - Amir Kishon; Paul Hudak (J. Funct. Program., 1995)