3 works on record
Formal Aspects of Component Software
Territórios em movimento
Formal Methods : Foundations and Applications