1. Baeten JCM, Basten T, Reniers MA (2010) Process algebra: equational theories of communicating processes. Cambridge University Press, New York
2. Bertsekas DP, Tsitsiklis JN (1996) Neuro-dynamic programming. Athena Scientific, Belmont
3. Bloom SL, Esik Z (2011) Iteration theories: the equational logic of iterative processes. Springer, Berlin/Heidelberg
4. Blum K (2012) Density matrix theory and applications. Springer series on atomic, optical, and plasma physics. Springer, Berlin/Heidelberg
5. Brachman RJ, Levesque HJ (2004) Knowledge representation and reasoning, 1st edn. Morgan Kaufmann Publishers/Elsevier, San Francisco