Kameas, A., S. Papadimitriou, and G. Pavlides,  "Coupling Interaction Speciffication with Funnctionality Description",  It contains selected work from the 3rd International Conference on Human Computer Interaction(EWHCI93), vol. 753, pp. 21-28, November, 1993.