J.UCS Special Issue on Abstract State Machines