A symbolic analysis of relay and switching circuits | lit.salon