K. Meinke and J. V. Tucker, eds, Many-sorted Logic and its Applications, John Wiley & Sons (1993).

The basic ref.  Another system is Z [18] as cited in

A Requirements Capture Method and its use in an Air.. - McCluskey, Porteous.. (1995)  

or as [5] in

A Temporal-Logic Extension of Role-Based Access Control.. - Mossakowski

listed in url: http://citeseer.ist.psu.edu/context/231542/0

Parameterized Recursion Theory - A Tool for the Systematic.. - Mossakowski

talks about ADTs, a good application of MSL or MSFOL.