Equivalence of the Gries and Martin proof rules for procedure calls A. BijlsmaJ. G. WiltinkP. A. Matthews OriginalPaper Pages: 357 - 360
A comparison of storage optimizations in automatically-generated attribute evaluators Rodney FarrowDaniel Yellin OriginalPaper Pages: 393 - 427
A single server queue with mixed types of interruptions Victor F. Nicola OriginalPaper Pages: 465 - 486