A `division' transformation for program and data structures and the structure clash problem

From MaRDI portal
(Redirected from Publication:1102733)