Theory and Art of Semantics-Directed Program Execution Monitoring (1992)

by A Kishon