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)].