Construction de sous-systèmes utilisant une machine abstraiteby Pierre LaforgueWriting a summary for young readers…For young readersBook data: Open Library