\begin{thebibliography}{99}

\bibitem{Dunne-CATS} Dunne, Steve,
\emph{Abstract Commands:
A Uniform Notation for Specifications and Implementations},
In Computing: The Australasian Theory Symposium (2001),
% Electronic Notes in Theoretical Computer Science \textbf{42} (2001), 104--123.
ENTCS \textbf{42} (2001), 104--123.
% \verb|http://www.elsevier.nl/|
% \verb|gej-ng/31/29/23/68/22/show/Products/notes/index.htt#008|
% \href{URL} % causes strange error message 
{\url{http://www.elsevier.nl/gej-ng/31/29/23/68/22/show/Products/notes/index.htt#008}}

\bibitem{Dunne-case} Dunne, Steve,
A Case for General Correctness, submitted.

\bibitem{Gordon} Gordon, Michael J. C., 
Mechanizing Programming Logics in Higher Order Logic.
In G. Birtwistle and P. A. Subrahmanyam (editors),
Current Trends in Hardware Verification and Automated Theorem Proving,
Springer-Verlag, 1989.

\bibitem{Harrison} Harrison, John, Formalizing Dijkstra. 
In Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics,
(TPHOLS'98), Lecture Notes in Computer Science, Vol. 1479, Springer, 1998,
171-188.

\bibitem{JG} Jacobs, Dean and David Gries.
\emph{General Correctness: A Unification of Partial and Total Correctness}.
Acta Informatica \textbf{22} (1985), 67-83.

\bibitem{lfh} Lermer, Karl, Colin Fidge and Ian Hayes.
Formal Semantics for Program Paths.
In Computing: The Australasian Theory Symposium (2003),
% Electronic Notes in Theoretical Computer Science 
ENTCS \textbf{78} (2003), 54--77.

\bibitem{lhj} Liang, Sheng, Paul Hudak, and Mark P Jones.
Monad Transformers and Modular Interpreters.
In Symposium on Principles of Programming Languages (POPL'95), 1995, 333--343.

\bibitem{Nelson} Nelson, Greg, 
\emph{A generalization of Dijkstra's calculus}.
ACM Transactions on Programming Languages and Systems, 11 (1989), 517-61.
Or see DEC (now Compaq) SRC Research Report 16,
\href{URL}{
\url{http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-016.html}}

\bibitem{Plotkin} Plotkin, Gordon D.,  
\emph{A Power-domain construction}.  
SIAM J. Comput. \textbf{5} (1976), 452--487. 

\bibitem{Wadler-essence} Wadler, Philip, The Essence of Functional Programming.
In Symposium on Principles of Programming Languages (POPL'92), 1992, 1--14.

\end{thebibliography}