doc/mlb-formal/bib.bib

   1 @string{and = " and "}
   2 @string{harper = "Robert Harper"}
   3 @string{macqueen = "David~B. MacQueen"}
   4 @string{milner = "Robin Milner"}
   5 @string{tofte = "Mads Tofte"}
   6
   7 @book(MTHM97,
   8   author = milner # and # tofte # and # harper # and # macqueen,
   9   title = "The Definition of Standard ML (Revised)",
  10   publisher = "MIT Press",
  11   year = 1997)