The ASM Refinement Method

---

Citation:	Egon Börger, "The ASM Refinement Method". Formal Aspects of Computing, vol. 15, 2003, 237-257.
Summary:	An overview of the use of refinements in ASMs.
Subjects:	Refinement
Download:	From Egon Börger's homepage in PDF.
Notes: