@article{spichkova2011decomp,
 author = {M. Spichkova},
 title = {{Architecture: Requirements + Decomposition + Refinement}},
 journal = {Softwaretechnik-Trends},
 volume = {31:4},
 year = {2011}
}

@Book {npw,
  author	= {T. Nipkow and L. C. Paulson and M. Wenzel},
  title		= {{Isabelle/HOL -- A Proof Assistant for Higher-Order Logic}},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= {2283},
  year		= {2002}
}

@incollection{idetifyingSSCs,
year={2000},
booktitle={Parallel and Distributed Processing},
volume={1800},
series={LNCS},
editor={Rolim, J.},
title={On Identifying Strongly Connected Components in Parallel},
publisher={Springer},
author={Fleischer, L. and Hendrickson, B. and Pınar, A.},
pages={505-511},
}

@article{OBF,
 author = {Barnat, J. and Chaloupka, J. and van de Pol, J.},
 title = {Improved Distributed Algorithms for SCC Decomposition},
 journal = {Electron. Notes Theor. Comput. Sci.},
 volume = {198},
 number = {1},
 year = {2008},
 issn = {1571-0661},
 pages = {63--77},
 publisher = {Elsevier Science Publishers B. V.},
}

@phdthesis{Orzan04ondistributed,
    author = {Simona Mihaela Orzan},
    title = {On Distributed Verification and Verified Distribution},
    school = {Free University of Amsterdam},
    year = {2004}
}
