Executable Visual Contracts
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.