Software design strategies initially presented at: Compsac 81 (IEEE Computer Soc. Pr., 1981)