\begin{thebibliography}{1}

\bibitem{requirements1}
R.~T. Yeh and P.~Zave, {\em Specifying Software Requirements}.
\newblock Proceedings of the IEEE, vol. 68~ed., 1980.

\end{thebibliography}
