Proceedings of an ACM Conference on Language Design for Reliable Software by David B. Wortman | Menrva Books | MenrvaBooks