A formal framework for the design of development environments. - M. M. Pett; Michael D. Rice; Stephen B. Seidman (IWSSD, 1989)