Loading...
Build an abstract representation for a stated task
Identify inputs, outputs and preconditions
Work through each topic to complete the section.