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.
Larch: Languages and Tools for Formal Specification
The work
| Authors | John V. Guttag; James J. Horning; S. J. Garland; K. D. Jones; A. Modet; J. M. Wing |
|---|---|
| Editors | |
| Type | misc |
| Year | 1993 |
| Also known as | anon1993larch |
| Citekey | guttag1993larch |
Where it appeared
| Publisher | Springer New York |
|---|
Identifiers
| DOI | 10.1007/978-1-4612-2704-5 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-23 21:27 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{guttag1993larch,
title = {Larch: Languages and Tools for Formal Specification},
author = {John V. Guttag and James J. Horning and S. J. Garland and K. D. Jones and A. Modet and J. M. Wing},
year = {1993},
publisher = {Springer New York},
doi = {10.1007/978-1-4612-2704-5},
}
This record lives at https://refs.drheap.org/guttag1993larch/ and will keep
doing so. It used to be called anon1993larch, and those addresses still resolve to this one.