Pepper, Peter A simple calculus for program transformation (inclusive of induction). (English) Zbl 0624.68020 Sci. Comput. Program. 9, 221-262 (1987). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Pepper}, Sci. Comput. Program. 9, 221--262 (1987; Zbl 0624.68020) Full Text: DOI
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin Algebraic implementations preserve program correctness. (English) Zbl 0597.68021 Sci. Comput. Program. 7, 35-53 (1986). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{M. Broy} et al., Sci. Comput. Program. 7, 35--53 (1986; Zbl 0597.68021) Full Text: DOI
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H. Programming in a wide spectrum language: A collection of examples. (English) Zbl 0469.68003 Sci. Comput. Program. 1, 73-114 (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{F. L. Bauer} et al., Sci. Comput. Program. 1, 73--114 (1981; Zbl 0469.68003) Full Text: DOI