Formal description of multiple write heads

[mammalwong]

I would like to ask if there is a formal description of the multiple write head case, as this case is not presented in the original paper.