\documentclass[11pt]{amsart}

\input{defalgo.tex}
\begin{document}

\section{Algorithms}

\subsection{From H.Rogers' book}

\subsection{Non-determinism and concurrency}

\subsection{Logical and operational descriptions}

\end{document}