@inproceedings{Seidl07Foundations,
  author = {Helmut Seidl},
  title = {Foundations of {S}oftware {S}cience and {C}omputational {S}tructures, 10th {I}nternational {C}onference, {FOSSACS} 2007, {H}eld as {P}art of the {J}oint {E}uropean {C}onferences on {T}heory and {P}ractice of {S}oftware, {ETAPS} 2007, {B}raga, {P}ortugal, {M}arch 24-{A}pril 1, 2007, {P}roceedings},
  booktitle = {FoSSaCS},
  month = {March},
  year = 2007,
  series = {Lecture Notes in Computer Science},
  volume = {4423},
  publisher = {Springer},
  address = {Braga, Portugal},
}