diff options
Diffstat (limited to 'documentation/bookmark/user_interface')
| -rw-r--r-- | documentation/bookmark/user_interface/human_computer_interaction.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/bookmark/user_interface/human_computer_interaction.md b/documentation/bookmark/user_interface/human_computer_interaction.md new file mode 100644 index 000000000..1eb2ce86d --- /dev/null +++ b/documentation/bookmark/user_interface/human_computer_interaction.md @@ -0,0 +1,4 @@ +# Reference + +1. [Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems](https://andymatuschak.org/files/papers/Shipman%20and%20Marshall%20-%201999%20-%20Formality%20Considered%20Harmful%20Experiences,%20Emergin.pdf) + |