Software Specification Language
Bill P. Buckles, Joël Ryan, S. L. Austin · NASA Tech Briefs · 1983
SSL translator aids in developing and checking software systems. Goal of SSL is to provide form of verification and consistency checking early in design phase. Serves as formal document to communicate software architecure to detailed designers.