Yuri Leonidovich Ershov Sergei S. Goncharov Dmitri Ivanovich Sviridenko Semantic Foundations of Programming. 116-122 1987 conf/fct/1987 FCT db/conf/fct/fct87.html#ErshovGS87