Normal view
MARC view
Harrison, M. D. (Michael D.) (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: Formal methods in human-computer interaction /, 1990.