Added first version of "Abstract function" pseudo-code.

If ever we think of another version ...