I am searching for the specification or an exact description about how the PHP serialize() function exactly works. All I could find for that topic is that comment in the manual.
Is there anywhere out there a more detailed description about how php implements this?