Metric interpretations of infinite trees and semantics of non deterministic recursive programs
semantics of non deterministic recursive programs
scientific article; zbMATH DE number 3666177