A Pascal derived from Pascal-S which provides several types of concurrency: semaphores, monitors, both occam/CSP-style and Ada-style rendezvous.
["The Teaching Language Pascal-FC", G.L. Davies et al, Computer J 33(2):147-154 (Apr 1990)].