Registre de correu electrònic: A patient care workstation based on user centred design and a formal theory of medical terminology: PEN&PAD and the SMK formalism.