An introduction to Pascal-plus / by D.W. Bustard |
A structured compiler / by J. Welsh |
A structured operating system / by R.M. McKeag |
Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.] |
Parallel processing in Ada / by O. Roubine & J.-C. Heliard |
Concurrent Pascal / by D. Coleman |
A model for communicating sequential processes / by C.A.R. Hoare |
Languages for parallel computers / by R.H. Perrott |
Algorithms for parallel computers / by M. Clint & R.H. Perrott |
Information systems : modelling, sequencing, and transformations / by M.A. Jackson |
Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer |
An introduction to Pascal-plus / by D.W. Bustard |
A structured compiler / by J. Welsh |
A structured operating system / by R.M. McKeag |
Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.] |
Parallel processing in Ada / by O. Roubine & J.-C. Heliard |
Concurrent Pascal / by D. Coleman |