@inbook{man10,
author = "C. Molinero and C. Andr{\'e}s and {M.} {N}{\'u}{\~n}ez",
title = "Web-Based Information Technologies and Distributed Systems",
chapter = "A Formal Methodology to Specify Hierarchical Agent-Based Systems",
publisher = "Atlantis Press",
year = "2010",
pages = "22(93 -- 114)",
isbn = "978-9078677284"}