Developing GUI Applications in a Verified Setting - Anton Setzer (Springer International Publishing, 2018)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10998)