Software Design Automation in an IPSE. - Stephen Beer; Ian Sommerville (ESEC, 1987)

Describing Software Design Methodologies. - Ian Sommerville; Ray Welland; Stephen Beer (Comput. J., 1987)

Supporting checking in a generic, graphical, software design environment - Stephen Beer (1988)

Method rule checking in a generic design editing system. - Ray Welland; Stephen Beer; Ian Sommerville (Softw. Eng. J., 1990)