1 - Algebraic theory of machines, languages, and semigroups
Arbib, Michael Antony (1940-....) (Ed.)   /   Rhodes, John L. (1937-....) (Collab.)   /   Krohn, Kenneth (Collab.)

Cote : [77.9 ARB 68]

2 - The design of well-structured and correct programs
Alagic, Suad (1946-....)   /   Arbib, Michael Antony (1940-....)

Cote : [02 ALA 78]

3 - Theories of abstract automata
Arbib, Michael Antony (1940-....)

Cote : [77.9 ARB 69]

4 - Topics in mathematical system theory
Kalman, Rudolf Emil (1930-2016)   /   Falb, Peter L.   /   Arbib, Michael Antony (1940-....)

Cote : [76 KAL 69]