A 1978 paper by PerBrinchHansen that describes "a systematic method
for testing monitor modules which control process interactions in
concurrent programs."

It was originally published as
Reproducible Testing of Monitors, P. Brinch Hansen, Software --
Practice and Experience, 8:6, 721-729, 1978.

It has been republished in TheSearchForSimplicity.