leastfixedpoint

Archived tweet #11773 from the @leastfixedpoint Twitter Archive
The only half-way "standard" option to my mind is POSIX ERE. I wonder whether it has sensible complexity bounds