Text this: Operating System Models in a Concurrent Pascal Environment