Abstract machine models for highly parallel computers /
Davy, John R.
Dew, P. M.
Oxford : Oxford University Press,
1995.