Theoretical and practical aspects of typestate. - Iain McGinniss (2014)