1 - Automata-theoretic aspects of formal power seriesSalomaa, Arto (1934-....) / Soittola, Matti (1945-....) / Brauer, Friedrich Ludwig (1924-....) (Ed.) / Gries, David (1939-....) (Ed.)Cote : [77.9 SAL 78]
2 - The science of programmingGries, David (1939-....) / Dijkstra, Edsger W. (Collab.)Cote : [77.6 GRI 81]