Program Structure Charts for Applicative Languages - Pagan, F G (IEEE Transactions on Software Engineering)