FTP Algebraic Formal Modelling using ACP | Publicación