@phdthesis{Jeltsch2012, author = {Wolfgang Jeltsch}, title = {Strongly typed and efficient functional reactive programming}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2012}, }