A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science)