FFP is a variation on Backus's targeted at the executable definition of formal systems.
Template:Substub