State-Based Programming in PQL - Bernardino, Ricardo Jorge Rocha (2014)
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra