@inproceedings{CEFP-2015-Korecko,
	author        = "Stefan Korecko",
	booktitle     = "{Revised Selected Papers of the Sixth Central European Functional Programming School}",
	doi           = "10.1007/978-3-030-28346-9_6",
	isbn          = "['978-3-030-28345-2', '978-3-030-28346-9']",
	pages         = "161--206",
	publisher     = "{Springer}",
	title         = "{Functional Languages in Design of Coloured Petri Nets Models}",
	year          = 2015,
}