Control programing - key to the synthesis of efficient digital computer control systems | IEEE Journals & Magazine | IEEE Xplore