Tonode, J. Q.; and Kehl, T. H. "The logic machine: a modular computer design system"

(1974) IEEE Transactions on Computing 23(11) November 1974  

Languages mentioned BASIL {1979} HLL for Logic machine