@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}
}