Tharp, A. L. review of Senko 1980

(1981) ACM Computing Reviews 22(04) April 1981  

Languages mentioned FORAL {1975}