+@book{nuprl-book,
+ author = "Constable, Robert L. and Stuart F. Allen and H. M. Bromley and
+ W. R. Cleaveland and J. F. Cremer and R. W. Harper and Douglas J. Howe and
+ T. B. Knoblock and N. P. Mendler and P. Panangaden and James T. Sasaki and
+ Scott F. Smith",
+ title = "Implementing Mathematics with the {N}uprl Development System",
+ publisher = "Prentice-Hall",
+ year = 1986,
+ address = "NJ"
+}
+