No, "reference counted java implementation" is not part of all of those. Please have perspective.

And again, "as seen in [language]" doesn't mean that's the only way to implement it. If I talk about global locking "as seen in python" it doesn't mean I'm unaware of non-GIL python implementations.

Yes it is, by having a sound compiler design section.

If you are aware of non-GIL Python, you would say "as seen in CPython", otherwise it just proves the point of not being able to distiguish between implementations and language definitions.