For mathematicians, programmers and others who are interested in the technical details of how QCA operates, here are a few pieces that I recommend: