A scalable formal method for design and automatic checking of user interfaces (2005)

by J Berstel, S Crepsi Reghizzi, G Roussel, P San Pietro
Venue:ACM Transactions on Software Engineerng and Methodology