S. Chandra, M. D. Dahlin, B. Richards, R. Y. Wang, T. E. Anderson, J. R. Larus. "Experience with a Language for Writing Coherence Protocols"

Proceedings of the USENIX Conference on Domain-Spe (1997) Proceedings of the USENIX Conference on Domain-Specific Languages, Berkeley, CA, October 15–17 1997. J. C. Ramming, editor. USENIX Association  

Languages mentioned Teapot {1997}