blob: 1eb2ce86d77b9e292d12c27e688325b7fe0dd966 (
plain)
1
2
3
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)
|
