An executable pseudocode