Synthesis of function-described graphs | Publicación