"Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming ... (Lecture Notes in Computer Science)" - читать интересную книгу автора (Hugh Glaser, Peter Hartel, Herbert Kuchen)