Class-diagrams for Abstract Data Types (BiBTeX)

@InProceedings{hoang17:_class_abstr_data_types,
  author = 	 {Thai Son Hoang and Colin Snook and Dana Dghaym and Michael Butler},
  title = 	 {Class-diagrams for {Abstract Data Types}},
  pages = 	 {100--117},
  crossref = 	 {dang17:_theor_aspec_comput_ictac_proceed_inter_colloq},
  url = 	 {http://doi.org/10.1007/978-3-319-67729-3_7},
  doi = 	 {10.1007/978-3-319-67729-3_7},
  note = 	 {Available at \url{http://doi.org/10.1007/978-3-319-67729-3_7}}
}

@Proceedings{dang17:_theor_aspec_comput_ictac_proceed_inter_colloq,
  editor = 	 {Hung Van Dang and Deepak Kapur},
  booktitle = 	 {Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing ({ICTAC} 2017)},
  series = 	 {Lecture Notes in Computer Science},
  volume = 	 10580,
  publisher = 	 {Springer},
  year = 	 2017,
  address = 	 {Hanoi, Vietnam},
  month = 	 oct,
  url = 	 {http://doi.org/10.1007/978-3-319-67729-3},
  doi = 	 {10.1007/978-3-319-67729-3},
  isbn = 	 {978-3-319-67728-6},
  note = 	 {Available at \url{http://doi.org/10.1007/978-3-319-67729-3}}
}