TY  - RPRT
TI  - Boolean integral calculus for digital systems
AU  - Tucker, J. H.
AU  - Tapia, M. A.
AU  - Bennett, A. W.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19850061340
ID  - 19850061340
ER  -