Table of Contents for Programming Languages: a survey
http://smc.sourceforge.net/SmcManual.htm
David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987. Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems
http://www.catb.org/esr/writings/taoup/html/ch10s03.html
Turing-complete: http://stackoverflow.com/questions/3480950/are-makefiles-turing-complete/3480982#3480982