Theory and Art of SemanticsDirected Program Execution Monitoring (1992)

by A Kishon