Werner Gabrisch, Wolf Zimmermann. A Hoare-style verification calculus for control state ASMs. In Mirjana Ivanovic, Zoran Budimac, Milos Radovanovic, editors, Balkan Conference in Informatics, 2012, BCI '12, Novi Sad, Serbia, September 16-20, 2012. pages 205-210, ACM, 2012. [doi]