System \(T\), call-by-value and the minimum problem
scientific article; zbMATH DE number 1238725
scientific article