Linear Logic And Imperative Programming. by Limin Jia