Parallel symbolic languages and systems: proceedings by Christian Queinnec | Menrva Books | MenrvaBooks