POF - Formal specification