Kehl, T. H.; Moss, C.; and Dunkel, L. "LM2 a logic machine minicomputer"

IEEE Computer  

Languages mentioned BASIL {1979} HLL for Logic machine