Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs | Publicación