SLAN-4: A Language for the Specification and Design of Large Software Systems

• 1 November 1983
• journal article
• Published by IBM in IBM Journal of Research and Development
• Vol. 27  (6) , 558-576
• https://doi.org/10.1147/rd.276.0558

Abstract