@mastersthesis{Milicevic10MS, author = "Aleksandar Milicevic", title = {{Executable Specifications for Java Programs}}, school = "MIT", month = Sep, year = 2010, advisor = "Daniel Jackson", }