@InProceedings{damiani12fmsple,
  author =       {Ferrucio Damiani and Johan Dovland and Einar Broch Johnsen
                  and Olaf Owe and Ina Schaefer and Ingrid Chieh Yu},
  title =        {A Transformational Proof System for Delta-Oriented Programming},
  editor    =    {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
  booktitle =	 {Proc.\ 16th Intl.\ Software Product Line Conference, Volume 2 ({SPLC} (2))},
  pages     =    {53--60},
  year =         {2012},
  publisher =    {ACM},
  note =	 {Proc. 3rd Intl. Workshop on Formal Methods for Software Product Lines ({FMSPLE}'12)}
}