%0 Generic %A Siminiceanu, Radu I. %E Cataño, Néstor. %T Automated verification of specifications with typestates and access permissions %U http://purl.fdlp.gov/GPO/gpo16668