See the PDF here
Author(s)
van Wagtendonk, Jan
Presented at the 2016 Cal-IPC Symposium.