Capsules: A data abstraction facility for Pascal. - Alessio Giacomucci; Frank L. Friedman (ACM Annual Conference, 1981)