Concept analysis as a formal method for menu design (2006)

by Zhang GQ, G Shen, Y Tian, J Sun
Venue:Proc. 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS’06), LNCS