Fundamentals of structured program design - ROBINSON (Prentice Hall, 2000)