A Tribute from the Band. - John Parker; Joel D. Baines; Paul Miller; Julia Miller (Logic and Program Semantics, 2012)