Formal Specification of Multi-Window User Interface in PVS. - Kalyani Singh; Brent Auernheimer (HCI (26), 2016)