@bachelorsthesis{giannak09thesis, address = {100 Institute Road, Worcester, MA, USA}, author = {Theophilos Giannakopoulos}, school = {Worcester Polytechnic Institute}, title = {Towards a Transition System Semantics for Alloy}, url = {https://www.wpi.edu/Pubs/E-project/Available/E-project-031609-013504/}, year = {2009} }