\documentclass[envcountsect,orivec,10pt]{llncs}
\usepackage{listings}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{cite}
\usepackage[dvipsnames]{xcolor}
%\setlength{\parsep}{0pt}
%\usepackage{float}
\usepackage{graphicx}
%\usepackage{graphics}
\usepackage{ulem}\normalem
\usepackage{url}

\input{macros}
\newif\ifdraft\drafttrue % shows notes and remarks. 
%\newif\ifdraft\draftfalse
\input{auxmacros}

\begin{document}
\pagestyle{plain}
\title{
  Scribbling Interactions with\\ a Formal Foundation%
\thanks{This work is
partially supported by EPSRC EP/F003757, EP/F002114, EP/G015635 and
EP/G015481.}
}

% \date{
%   January 10th, 2010
% }

\author{
Kohei Honda${}^1$
\and
Aybek Mukhamedov${}^1$
\and
Gary Brown${}^2$
\and\\
Tzu-Chun Chen${}^1$
\and
Nobuko Yoshida${}^3$
}

\institute
{
  ${}^1$Queen Mary, University of London\ \
  ${}^2$Red Hat, Inc.\\
  ${}^3$Imperial College London
}
\maketitle 
\thispagestyle{plain}
\input{abstract} 
\thispagestyle{plain}

% \KH{We should include: MSC/UML introduction and comparison; diagrams
%   for EPP and for Scribble framework; our BuyerSeller conversion API
%   prototype in Java}

\input{introduction} 
\input{motivation}
\input{overview}
\input{examples}
\input{theory}
\input{development}
\input{conclusion}
\input{ack}

\bibliographystyle{abbrv}
\bibliography{session}

% \appendix
% \section{Travel Agent Protocol: Purchase}
% \lstinputlisting[caption={[Fig] Purchase Sub-Protocol 
% in Scribble.}, label={fig:ws-travel-scrib2}, float=*]{ws-travel2.scrib}

\end{document}
