The PlusCal Algorithm Language

Authors: Leslie Lamport - Lecture notes in computer science 2009 cited by 110