Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs.

Jan A. Bergstra J. V. Tucker Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs. 303-315 1982 17 Theor. Comput. Sci. db/journals/tcs/tcs17.html#BergstraT82 http://dx.doi.org/10.1016/0304-3975(82)90027-5