[KirillPanov]

This is a great point. Look at how many IETF standards contain pseudocode.

Also, in mathematics, many proofs contain a decision procedure or a parametric algorithm for constructing a counterexample.