There's no Hoa74 in bibliography

> A more advanced construct for mutual exclusion is the monitor [Hoa74,Lam79b] that modularly protects sections using condition variables.

http://berb.github.io/diploma-thesis/community/052_threads.html#lock

Hoa74 is not in bibliography.