Michael G. Walker
-
PATHOS—a paradigmatic approach to high-level object-oriented software development
ACM SIGSOFT Software Engineering Notes