Correctness of recursive flow diagram programs | Publicación