Proceedings of the 10th International Conference on Software Engineering, IEEE Computer Society Press, 1988

• Wulf, William A.; London, Ralph L.; Shaw, Mary (1976) Wulf, William A.; London, Ralph L.; Shaw, Mary "An introduction to the construction and verification of Alphard programs"
• Fonorow, O. R. (1988) Fonorow, O. R. "Modeling software tools with ICON" pp202-220