Automatically replacing indices into parallel arrays with pointers to records

From MaRDI portal
Publication:1123591