Proceedings of the 2012 ACM conference on High integrity language technology
ACM Digital Library