Pascal-FC

A language derived from Pascal-S providing several types of concurrency: semaphores, monitors, and both occam/CSP-style and Ada-style rendezvous.

"The Teaching Language Pascal-FC", G. L. Davies et al, Computer Journal 33(2):147-154 (Apr 1990).