Chia-Chu Chiang. A Language for Writing Formal Software Specifications: The Library Problem Revisited. In Third International Conference on Information Technology: New Generations (ITNG 2006), 10-12 April 2006, Las Vegas, Nevada, USA. pages 66-71, IEEE Computer Society, 2006. [doi]
Abstract is missing.