Combining data type and recursive process specifications using projection algebras
scientific article; zbMATH DE number 4139269
scientific article