TY  - RPRT
TI  - Problem-oriented specification of concurrent algorithms
AU  - Cremers, A. B.
AU  - Hibbard, T. N.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840011077
ID  - 19840011077
ER  -