Typing Information in a Software Engineering Environment. - Timothy E. Lindquist; Patricia K. Lawlis; Donald P. Levine (ER, 1987)