@InProceedings{alur1999communicating,
	file = {Documents/reading/compsci/alur1999communicating.pdf},
	pages = {169--178},
	booktitle = {Proceedings of the 26th International Colloquium on Automata, Languages, and Programming},
	year = {1999},
	title = {Communicating Hierarchical State Machines},
	author = {Alur, Rajeev and Yannakakis, Mihalis and Kannan, Sampath}
}

@InProceedings{alur1999model,
	keywords = {hfsm},
	file = {Documents/reading/compsci/alur1999model.pdf},
	title = {Model checking of message sequence charts},
	author = {Alur, Rajeev and Yannakakis, Mihalis},
	booktitle = {International Conference on Concurrency Theory (CONCUR)},
	volume = {99},
	pages = {114--129},
	year = {1999},
	organization = {Springer}
}

@InProceedings{alur2000efficient,
	file = {Documents/reading/compsci/alur2000efficient.pdf},
	keywords = {hfsm},
	title = {Efficient Reachability Analysis of Hierarchical Reactive Machines},
	author = {Alur, Rajeev and Grosu, Radu and McDougall, Michael},
	booktitle = {CAV},
	pages = {280--295},
	year = {2000},
	organization = {Springer}
}

@Article{armoni2009concept,
	journaltitle = {Science and Education},
	title = {The concept of nondeterminism},
	subtitle = {its development and implications for teaching},
	author = {Armoni, Michal and Ben-Ari, Mordechai},
	volume = {18},
	number = {8},
	pages = {1005--1030},
	year = {2009}
}

@InProceedings{beek1994comparison,
	keywords = {hfsm},
	number = {863},
	series = {Lecture Notes in Computer Science},
	file = {Documents/reading/compsci/beeck1994comparison.pdf},
	pages = {128--148},
	publisher = {Springer},
	editor = {Langmaack, Hans},
	booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
	year = {1994},
	title = {A comparison of Statecharts variants},
	author = {{von der Beeck}, Michael}
}

@Book{booch1999unified,
	file = {Documents/reading/compsci/booch1999unified.pdf},
	title = {The Unified Modeling Language User Guide},
	author = {Booch, Grady and Rumbaugh, James and Jacobson, Ivar},
	isbn = {9780201571684},
	series = {Object Technology Series},
	year = {1999},
	publisher = {Addison-Wesley}
}

@InProceedings{cafezeiro2007semantic,
	file = {Documents/reading/compsci/cafezeiro2007semantic.pdf},
	volume = {83},
	title = {Semantic interoperability via category theory},
	author = {Cafezeiro, Isabel and Haeusler, Edward Hermann},
	booktitle = {Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling},
	pages = {197--202},
	year = {2007},
	organization = {Australian Computer Society, Inc.}
}

@Article{dijkstra1975guarded,
	file = {Documents/reading/compsci/dijkstra1975guarded.pdf},
	journaltitle = {Communications of the ACM},
	title = {Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
	author = {Dijkstra, Edsger},
	volume = {18},
	number = {8},
	pages = {453--457},
	year = {1975}
}

@Article{harel1987statecharts,
	keywords = {hfsm},
	file = {Documents/reading/compsci/harel1987statecharts.pdf},
	journaltitle = {Science of computer programming},
	title = {Statecharts: A visual formalism for complex systems},
	author = {Harel, David},
	volume = {8},
	number = {3},
	pages = {231--274},
	year = {1987}
}

@InProceedings{healy2000category,
	file = {Documents/reading/compsci/healy2000category.pdf},
	author = {Healy, Michael J.},
	title = {Category Theory Applied to Neural Modeling and Graphical Representations},
	booktitle = {Proceedings of the International Joint Conference on Neural Networks (IJCNN 2000), IEEE},
	year = {2000}
}

@InProceedings{hitzler2005what,
	file = {Documents/reading/compsci/hitzler2005what.pdf},
	title = {What is ontology merging?},
	author = {Hitzler, Pascal and Krötzsch, Markus and Ehrig, Marc and Sure, York},
	booktitle = {American Association for Artificial Intelligence},
	year = {2005}
}

@Article{lin1990modelling,
	journaltitle = {Formal Aspects of Computing},
	title = {Modelling multiple inheritance with colimits},
	author = {Lin, Huimin and Pong, Man-chi},
	journal = {Formal Aspects of Computing},
	volume = {2},
	number = {1},
	pages = {301--311},
	year = {1990},
	publisher = {Springer}
}

@Article{martin1997java,
	title = {Java and C++ A critical comparison},
	author = {Martin, Robert C},
	journal = {Technical Note, Object Mentor},
	year = {1997}
}

@Thesis{norell2007towards,
	type = {PhD},
	institution = {Department of Computer Science and Engineering, Chalmers University of Technology},
	author = {Norell, Ulf},
	title = {Towards a practical programming language based on dependent type theory},
	year = {2007},
	month = {September}
}

@Article{rabin1959finite,
	file = {Documents/reading/compsci/rabin1959finite.pdf},
	journaltitle = {IBM journal of research and development},
	title = {Finite automata and their decision problems},
	author = {Rabin, Michael O. and Scott, Dana},
	volume = {3},
	number = {2},
	pages = {634--644},
	year = {1959}
}

@Book{sipser1996introduction,
	title = {Introduction to the Theory of Computation},
	author = {Sipser, Michael},
	year = {1996},
	publisher = {PWS Publishing}
}

@InCollection{solomon2007pushout,
	file = {Documents/reading/compsci/solomon2007pushout.pdf},
	title = {Pushout: A mathematical model of architectural merger},
	author = {Solomon, Andrew},
	booktitle = {Perspectives of Systems Informatics},
	pages = {389--399},
	year = {2007},
	publisher = {Springer}
}

@Comment{
Local Variables:
bibtex-dialect: biblatex
End:
}