Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations. - Pashtan, Ariel (IEEE Transactions on Software Engineering, 1985)