TY  - RPRT
TI  - A Computer Program for Simplifying Incompletely Specified Sequential Machines Using the Paull and Unger Technique
AU  - Ebersole, M. M.
AU  - Lecoq, P. E.
PY  - 1968
UR  - https://ntrs.nasa.gov/citations/19690001831
ID  - 19690001831
ER  -