Masaki Nakamura 0001, Daniel Gâinâ, Kazuhiro Ogata 0001, Kokichi Futatsugi. Proving Sufficient Completeness of Constructor-Based Algebraic Specifications. In Doo-Soon Park, Han-Chieh Chao, Young-Sik Jeong, James Jong Hyuk Park, editors, Advances in Computer Science and Ubiquitous Computing - CSA & CUTE 2015, Cebu, Philippines, December 15-17, 2015. Volume 373 of Lecture Notes in Electrical Engineering, pages 15-21, Springer, 2015. [doi]
Abstract is missing.