Formalism in computer system design : models of parallelism and concurrency by E. G. Coffman. ISBN 090238306X. Published by University of Newcastle upon Tyne (Computing Laboratory) in 1969. Publication and catalogue information, links to buy online and reader comments.