Brigham Bell, Wayne Citrin, Clayton Lewis, John Rieman, Robert P. Weaver, Nick Wilder, Benjamin G. Zorn. Using the Programming Walkthrough to Aid in Programming Language Design. Software: Practice and Experience, 24(1):1-25, 1994.
Abstract is missing.