J. Kang, F. Basrizal, Q. Yu, and E. Holden. New Trends in Intelligent Information and Database Systems, volume 598 of Studies in Computational Intelligence, Springer, (2015)
M. Poole, A. Holden, and J. Tucker. Prospects for Hardware Foundations, volume 1546 of Lecture Notes in Computer Science, page 184-235. Springer, (1998)