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