Title: Abstract data types
First published: 1988