Automatic synthesis of digital circuits from flow-charts | IEEE Conference Publication | IEEE Xplore