acmtr.bib:

@BOOK(lamport:latex,
   KEY = "Lamport86",
   AuThOr = "Leslie Lamport",
   TITLE = "{\LaTeX}: A Document Preparation System",
   PUBLISHER = "Addison-Wesley",
   YEAR = 1986,
   address = "Reading, Massachusetts")

@BOOK(knuth:texbook,
   KEY = "Knuth84",
   AuThOr = "Donald E. Knuth",
   TITLE = "The {\TeX{}book}",
   PUBLISHER = "Addison-Wesley",
   YEAR = 1984,
   address = "Reading, Massachusetts")

@INPROCEEDINGS(reid:scribe,
   KEY = "Reid80",
   AUTHOR = "Brian K. Reid",
   TITLE = "A High-Level Approach to Computer Document Formatting",
   BOOKTITLE = "Proceedings of the Seventh Annual Symposium on
                 Principles of Programming Languages",
   Organization = "ACM SIGACT-SIGPLAN",
   Year = 1980,
   Month = JAN,
   pages = "24--31")

@ARTICLE(6:1(1),
   AUTHOR = "Archer, Jr., James E. and Richard Conway and
             Fred B. Schneider",
   TITLE = "User Recovery and Reversal in Interactive Systems",
   JOURNAL = toplas,
   volume = 6,
   number = 1,
   YEAR = 1984,
   month = jan,
   PAGES = "1--19")


@ARTICLE(6:3(380),
   AUTHOR = "E. Korach and D. Rotem and N. Santoro",
   TITLE = "Distributed Algorithms for Finding Centers and Medians in 
                              Networks",
   JOURNAL = toplas,
   volume = 6,
   number = 3,
   YEAR = 1984,
   month = jul,
   PAGES = "380--401")



@ARTICLE(7(1):137,
   AUTHOR = "Douglas D. Dunlop and Victor R. Basili",
   TITLE = "Generalizing Specifications for Uniformly Implemented Loops",
   JOURNAL = toplas,
   volume = 7,
   number = 1,
   YEAR = 1985,
   month = jan,
   PAGES = "137--158")


@ARTICLE(7(3):359,
   AUTHOR = "Flemming Nielson",
   TITLE = "Program Transformations in a Denotational Setting",
   JOURNAL = toplas,
   volume = 7,
   number = 3,
   YEAR = 1985,
   month = jul,
   PAGES = "359--379")


@ARTICLE(7(2):183,
   AUTHOR = "Jan Heering and Paul Klint",
   TITLE = "Towards Monolingual Programming Environments",
   JOURNAL = toplas,
   volume = 7,
   number = 2,
   YEAR = 1985,
   month = apr,
   PAGES = "183--213")


@ARTICLE(7(2):311,
   AUTHOR = "Keshav Pingali and Arvind",
   TITLE = "Efficient Demand-Driven Evaluation, Part 1",
   JOURNAL = toplas,
   volume = 7,
   number = 2,
   YEAR = 1985,
   month = apr,
   PAGES = "311--333")