Ellis Horwood Series In Computers And Their Applications

Formally-Based Tools and Techniques for Human-Computer Dialogues