Mathematizing abstract data types

• Authors:

• Charles L. Silver

• Affiliations:

• Southeastern Lousiana University, Department of Computer Science, Hammond, LA

• Venue:
• ACM SIGCSE Bulletin
• Year:
• 1994