Marie Owens: A slicing approach to constructing and viewing problem specifications. Queen's University Belfast, UK 1992