SAS 2007Refactoring Using Type ConstraintsFrank TipPublisher pagedblpBibTeXNo abstract available.DOI 10.1007/978-3-540-74061-2_1