TY  - RPRT
TI  - A transition calculus for Boolean functions
AU  - Tucker, J. H.
AU  - Bennett, A. W.
PY  - 1974
UR  - https://ntrs.nasa.gov/citations/19750050809
ID  - 19750050809
ER  -