@misc{indiciae7b26099dc303,
  title = {Boolean differentiation and integration using Karnaugh maps},
  author = {Tucker, J. H. and Tapia, M. A. and Bennett, A. W.},
  year = {1977},
  url = {https://ntrs.nasa.gov/citations/19780033686},
  note = {Source identifier: 19780033686}
}