I've written such a guide: https://jlsksr.de/docs/isp-guide/

The official docs of the RIRs are "non-commercial guides for IPv6 allocation", too.