Paul Quinn: Computer aided software production. Queen's University Belfast, UK 1986