Ole Lauridsen: Generation of user interfaces using formal specification. INTERACT 1995: 325-330