Fortunately, there is a book about it. http://lsub.org/who/nemo/9.pdf which might have been updated to 4th Edtion,

but the overall structure is similar, although with many improvements.