My final paper from Stanford is out in IEEE Proceedings

Copyright Ian Williamson.