The PlusCal Algorithm Language

著者: Leslie Lamport - Lecture notes in computer science 2009 被引用: 110