@第{zbMATH03516612条，作者＝{Lister，A.M.和Maynard，K.J.}，标题={监视器的实现}，FJournal={Software.Practice\&Experience}，日志={Softw.，Pract.Exper.}，ISSN={0038-0644}，体积={6}，页码={377--385}，年份={1976年}，语言={英语}，DOI={10.1002/spe.4380060310}，关键词={68N01}，zbMATH＝{3516612}，Zbl={0329.68020}}