Programming and Algorithmic languages - Mito, Setsuo (Moscow, 1987)