arXiv 2001-12-03 EN Program schemes with binary write-once arrays and the complexity classes they capture Stewart, Iain A.