Reiter, A. review of Senko 1975

(1975) ACM Computing Reviews 16(03) March 1975  

Languages mentioned FORAL {1975}