TY - RPRT TI - Some Formal Aspects of Human-Machine Interaction AU - Degani, Asaf AU - Heymann, Michael AU - Shafto, Michael PY - 1998 UR - https://ntrs.nasa.gov/citations/20050184200 ID - 20050184200 ER -