https://www.meetup.com/miton-times/ [aktuální verze]
https://dblp.org/pid/32/8229.html [aktuální verze]
https://quantasoft.com/ [aktuální verze]
https://scholar.google.com/citations?hl=cs&user=JL9IGwcAAAAJ [aktuální verze]
http://www.cs.cas.cz/cintula/ [aktuální verze]
http://www.forloop.ai [aktuální verze]