The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
The algebraic specification of abstract data types
The work
| Authors | J. V. Guttag; J. J. Horning |
|---|---|
| Editors | |
| Type | article |
| Year | 1978 |
| Citekey | guttag1978algebraic |
Where it appeared
| Published in | Acta Informatica |
|---|---|
| Volume | 10 |
| Pages | 27--52 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 05:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{guttag1978algebraic,
title = {The algebraic specification of abstract data types},
author = {J. V. Guttag and J. J. Horning},
year = {1978},
journal = {Acta Informatica},
volume = {10},
pages = {27--52},
}
This record lives at https://refs.drheap.org/guttag1978algebraic/ and will keep doing so.