TY  - RPRT
TI  - Analysis and synthesis of concurrent sequential programs
AU  - Bredt, T. H.
PY  - 1970
UR  - https://ntrs.nasa.gov/citations/19700027599
ID  - 19700027599
ER  -