Linear Logic And Imperative Programming. door Limin Jia