Formally-based tools and techniques for human-computer dialogues

Heather Alexander. Formally-based tools and techniques for human-computer dialogues. PhD thesis, University of Stirling, UK, 1986. [doi]

Abstract

Abstract is missing.