Peter Kübler

Specifying computer-based counseling systems in health care: A new approach to user-interface and interaction design

Dominikus Herzberg, Nicola Marsden, Peter Kübler, 2009, J. Biomed. Informatics.

Using Formal Specification Techniques for Advanced Counseling Systems in Health Care

Dominikus Herzberg, Nicola Marsden, Peter Kübler, 2007, USAB.