"International Symposium on Programming, 5 conf" - читать интересную книгу автора (M. Dezani-Ciancaglini, U. Montanari)