1 - Handbook of theoretical computer science. Vol. B. : Formal models and semanticsVan Leeuwen, Jan (1946-....) (Ed.)Cote : [77 VAN-LEE 90-2]