Algebraic Formal Modelling for HTTP Main Methods using ACP | Publicación