Book

Formal Methods : Foundations and Applications

by Márcio Cornélio, Bill Roscoe