Towards a Theory of Sequential Hybrid Programs | Publicación