The systematic design of visual languages applied to logical reasoning

Björn Gottfried. The systematic design of visual languages applied to logical reasoning. Journal of Computer Languages, 28:212-225, 2015. [doi]

Abstract

Abstract is missing.