Editorial

Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey. Editorial. Formal Asp. Comput., 25(3):343, 2013. [doi]

Abstract

Abstract is missing.