Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.

Meurig Sage Chris Johnson Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. 134-154 1998 conf/dsvis/1998-1 DSV-IS db/conf/dsvis/dsvis1998-1.html#SageJ98