@string{and = " and "}
@string{harper = "Robert Harper"}
@string{macqueen = "David~B. MacQueen"}
@string{milner = "Robin Milner"}
@string{tofte = "Mads Tofte"}

@book(MTHM97,
  author = milner # and # tofte # and # harper # and # macqueen,
  title = "The Definition of Standard ML (Revised)",
  publisher = "MIT Press",
  year = 1997)
