Programming Models In Algorithm Definition