[net.lang] References requested

gjditchfield@watrose.UUCP (Glen Ditchfield) (02/27/86)

I am looking for papers on formal verification of object-oriented languages.
I am especially curious about methods that make assertions about the data in
the objects. Can anyone out there suggest some references? Thanks in advance.
                   - Glen Ditchfield