"Visualizing the "hidden" variables in robot programs."

David C. Shepherd, Nicholas A. Kraft, Patrick Francis (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics