Concurrent Pascal Extension of

Simplified Pascal with monitors