海量图书期刊资源,随时随地畅享阅读乐趣
Equivalence of the Gries and Martin proof rules for procedure callsA. Bijlsma; J. G. Wiltink; P. A. Matthews · 1986