A structured computer system model
scientific article; zbMATH DE number 3524713