Title: Pearson Custon Computer Science Fundamentals of Program Logic Combining Alice with the Traditional Approach