"Programming Languages.. Implementations, Logics, and Programs, 9 conf., PLILP'97" - читать интересную книгу автора (Hugh Glaser, Peter Hartel, Herbert Kuchen)