@Article{Szp:etal:Alvis:FI:14,
author = {Szpyrka, M. and Matyasik, P. and Mrówka, R. and Kotulski, L.},
title = {Formal description of {A}lvis language with $\alpha^0$ system layer},
journal = {Fundamenta Informaticae},
year = {2014},
volume = {129},
pages = {161-176}
}

@InCollection{SzpMatMr:Alvis:SCI:11,
author = {Szpyrka, M. and Matyasik, P. and Mrówka, R.},
title = {Alvis -- modelling language for concurrent systems},
publisher = {Springer-Verlag},
year = {2011},
series = {Studies in Computational Intelligence},
volume = {362},
booktitle = {Intelligent Decision Systems in Large-Scale Distributed Environments},
editor = {Bouvry, P. and Gonzalez-Velez, H. and Kołodziej, J.},
chapter = {15},
pages = {315-341},
}