Further reading

1. Cook, Stephen A., 'The Complexity of Theorem-proving Procedures', Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC '71. New York, NY, USA, ACM, 1971, S. 151–8
2. dep: a dependency management tool for Go: https://github.com/golang/dep
3. glide: https://github.com/Masterminds/glide
4. gvt: https://github.com/FiloSottile/gvt
5. godep: https://github.com/tools/godep
6. Golang blog: using Go modules: https://blog.golang.org/using-go-modules
7. Gopkg.in: stable APIs for the Go language: https://labix.org/gopkg.in
8. Gopkg.toml format specification: https://golang.github.io/dep/docs/Gopkg.toml.html
9. govendor: https://github.com/kardianos/govendor
10. Plus codes: short codes for locations, for places that don't have their own street address: https://plus.codes/
11. Semantic versioning 2.0.0: https://semver.org/
12. Silva, João P. Marques; Lynce...