Science of Computer ProgrammingVolume 158, 15 June 2018, Pages 1-2EditorialIntroduction to the ABZ 2016 Special issueAuthor links open overlay panelMichael Butler, Klaus-Dieter ScheweShow moreShareCitehttps://doi.org/10.1016/j.scico.2018.01.005Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)© 2018 Published by Elsevier B.V.