@inproceedings{DBLP:conf/ifip/Jones83,
author = {Cliff B. Jones},
title = {Specification and Design of (Parallel) Programs},
booktitle = {IFIP Congress},
year = {1983},
pages = {321-332},
bibsource = {DBLP, http://dblp.uni-trier.de}
}