Designing systems programs - Gauthier, Richard L (Prentice-Hall, Inc., 1970)