Meijer, E. (1991) “A BMF FOR SEMANTICS”, Periodica Polytechnica Electrical Engineering, 35(3), pp. 165–192.