| Title | A Practical Example of the Specification of Abstract Data Types |
| Publication Type | Journal Article |
| Year of Publication | 1980 |
| Authors | Tompa, F. |
| Journal | Acta Informatica |
| Volume | 13 |
| Pagination | 205--224 |
| DOI | 10.1007/BF00288642 |
| Title | A Practical Example of the Specification of Abstract Data Types |
| Publication Type | Journal Article |
| Year of Publication | 1980 |
| Authors | Tompa, F. |
| Journal | Acta Informatica |
| Volume | 13 |
| Pagination | 205--224 |
| DOI | 10.1007/BF00288642 |
