Romano, Paolo ; Romero, Milton Ernesto Romero ; Ciciani, Bruno. ROMANO, Paolo et al. Validation of the Sessionless Mode of the HTTPR Protocol. In: KÖNIG, Hartmut et al. (Org.). Formal Techniques for Networked and Distributed Systems - FORTE 2003. Berlin: Springer, 2003. p. 62-78. Disponível em: . Acesso em: 06 ago. 2013..
,
2003