Mention the count of papers published by the authors of 'A Formal Software Development Approach Using Refinement Calculus' in J. Comput. Sci. Technol..
How many papers did the authors of 'A Formal Software Development Approach Using Refinement Calculus' publish in J. Comput. Sci. Technol.?
SELECT DISTINCT (COUNT(?answer) AS ?count) WHERE { <https://dblp.org/rec/journals/jcst/YunfengJMZZ01> <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#publishedIn> 'J. Comput. Sci. Technol.' }
<https://dblp.org/rec/journals/jcst/YunfengJMZZ01>