A Shape Calculus for Biological Processes
Ezio Bartocci, Maria Rita Di Berardini, Flavio Corradini, Merelli Emanuela, Luca Tesei.
11th Italian Conference on Theoretical Computer Science. pp. 30-33. 2009. 

@INPROCEEDINGS{,
  title = {{A Shape Calculus for Biological Processes}},
  author = {Bartocci, Ezio and Berardini, Maria Rita Di and Corradini, Flavio and Emanuela, Merelli and Tesei, Luca},
  booktitle = {11th Italian Conference on Theoretical Computer Science},
  pages = {30-33},
  year = {2009},
}