Heitmeyer, C.L., "The Role of HCI in CASE Tools Supporting Formal Methods",
Proceedings, Workshop on Software Engineering an human-Computer 
Interaction, Sorrento, Italy,
May 16-17,  1994.

<blockquote>
This paper describes a number of issues in human-computer interaction
that arose in two projects which are developing CASE tools to support
formal methods.  It also proposes a research agenda.
</blockquote>