[IEEE 2012 International Conference on Computer, Information and Telecommunication Systems (CITS) - Amman, Jordan (2012.05.14-2012.05.16)] 2012 International Conference on Computer,
Application of Boolean pre-algebras to the foundations of Computer Science