Leila RibeiroBooksFormal Methods : Foundations and ApplicationsFormal Methods TeachingA telephone's system specification using graph grammarsAuthor data: Open Library