DMCA

Leslie Lamport: The Specification Language TLA +

by Dines Bjørner , Martin C. Henson