Programs, Proofs, Processes | Publicación