Müller, et al.. Classification of Alignments Between Concepts of Formal Mathematical Systems. Springer International Publishing, 2017, doi:10.1007/978-3-319-62075-6_7.