Hertweck, F.(1968). Studies in Operating Systems Design Part I: Semaphore Operations and Task Control (IPP 6/63). Garching: Max-Planck-Institut für Plasmaphysik.