TY - RPRT TI - An example of a constructive specification of a queue, preliminary report, appendix B AU - Benzinger, Leonora PY - 1985 UR - https://ntrs.nasa.gov/citations/19870018869 ID - 19870018869 ER -