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.