K. Li, J. Hosking, J. Grundy, T. Ly, and B. Webb, “Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse”, eceasst, vol. 31, Jun. 2011.