Formal Descriptions of Code Properties: Decidability, Complexity, Implementation. - Krystian Dudzinski; Stavros Konstantinidis (Int. J. Found. Comput. Sci., 2012)