Realizability of concurrent recursive programs
scientific article; zbMATH DE number 6979619
scientific article