"Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. ... 8th " - читать интересную книгу автора (Herbert Kuchen, S.Doaitse Swierstra)