1 - The design of well-structured and correct programsAlagic, Suad (1946-....) / Arbib, Michael Antony (1940-....)Cote : [02 ALA 78]