Extensões ao HMBS para Especificação de Apresentações Hipermídia. - Fabiano Borges Paulo; Paulo César Masiero; Maria Cristina Ferreira de Oliveira (SBES, 1996)

XHMBS: A Formal Model to Support Hypermedia Specification. - Fabiano Borges Paulo; Marcelo Augusto Santos Turine; Maria Cristina Ferreira de Oliveira; Paulo César Masiero (Hypertext, 1998)

Hypercharts: Extended Statecharts to Support Hypermedia Specification. - Fabiano Borges Paulo; Paulo César Masiero; Maria Cristina Ferreira de Oliveira (IEEE Trans. Software Eng., 1999)