JACKSON DEVELOPMENT METHODS. - Jackson, Michael (Encyclopedia of Software Engineering, Volume 1, 2002)