Comparing integrated and external logics of functional programs
scientific article; zbMATH DE number 4147474