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