Nr. 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages