Explicit Specifications
2004 ◽
pp. 133-141