@mastersthesis{giannak09thesis,
  address = {100 Institute Road, Worcester, MA, USA},
  author = {Theophilos Giannakopoulos},
  school = {Worcester Polytechnic Institute},
  title = {Multi-Decision Policy and Policy Combinator Specifications},
  url = {https://www.wpi.edu/Pubs/ETD/Available/etd-022112-163738/},
  year = {2012}
}