This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.

The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Of the four major priesthoods in ancient Rome, none wielded powers as extensive as the pontificate's; holders of this office not only oversaw all the ceremonies of the Roman state religion, but in supervising certain forms of adoption, inheritance, and burials, also exercised considerable power over many "private" areas of Roman religion and life. This thoroughly researched monograph fills the void in the literature on pontifical law by going beyond merely updating the scholarly understanding of the subject and instead introducing a new conceptual framework and analysis. This book treats...

Michael Johnson is one of the world's leading graphic designers and brand consultants. His studio, johnson banks, is responsible for the rebranding of many notable clients, including Virgin Atlantic, Think London, BFI, Christian Aid, and MORE TH>N, and he has garnered a plethora of awards in the process.

In Branding, Johnson strips everyday brands down to their basic components, with case studies that enable us to understand why we select one product or service over another and allow us to comprehend how seemingly subtle influences can affect key life decisions. The first...