aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/user_interface
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/user_interface/human_computer_interaction.md4
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)
+