Handshaking in Kansas Lava Using Patch Logic. - Andy Gill; Bowe Neuenschwander (PADL, 2012)