@book{
  author = "International Spring School on Advanced Functional Programming Techniques, Jeuring, Johan, 1965-, Meijer, Erik, 1963-",
  title = "Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text",
  year: c1995
  key = "Functional programming (Computer science)--Congresses",
  key = "Logic programming--Congresses",
  key = "Functional programming languages--Congresses",
  key = "グラフ理論",
  publisher = "Springer-Verlag",
  address = "Berlin ; Tokyo",
  series = "Lecture notes in computer science ; 925",
  ISSN/ISBN = "9783540594512 [3540594515] (: gw)",
  ISSN/ISBN = "9780387594514 [0387594515] (: us)",
}