An Experience Using JASMINUM --- Formalization Assisting with the Design of User Interfaces (1994)

by L M F Carneiro-Coffin, D D Cowan, C J P Lucena, D Smith
Venue:In Proceedings of the Workshop on Research Issues between Software