Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools

• Authors:

• Alberto Bertoni;Giancarlo Mauri;Pierangelo Miglioli

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
• Year:
• 1980