Since Rust implements a typestate system, here is a link to the classic 1986 paper by Strom and Yemini which introduces the concept of typestate: http://www.cs.cmu.edu/~aldrich/papers/classic/tse12-typestat...
LtU has a thread on Rust: http://lambda-the-ultimate.org/node/4009