Is there an overview of the mechanism of lazy Fetch?

[David Goodenough]

I realise that I can always read the source, but I was wondering if there is
a document that explains how lazy fetch is implemented, pointing out
amongst other things which bits of the source are used to deliver 
lazy fetch?

Regards

David