Methods of Specifying an Algorithm
Proving an Algorithm's Correctness