Algebraic formal modelling for FTP | Publicación