Execution architectures for program algebra
scientific article; zbMATH DE number 5154736