Move Specification Language

https://github.com/diem/move/blob/cb82dbac8fd72b0b0d0c104e1dd748dc3c92fffd/language/move-prover/doc/user/spec-lang.md

https://research.facebook.com/publications/the-move-prover/