WireLisp: combining graphics and procedures in a circuit specification language | IEEE Conference Publication | IEEE Xplore