Clocksin. Logic Programming and Digital Circuit Analysis. Elsevier BV, 1987, doi:10.1016/0743-1066(87)90022-7.