E. Meijer, “A BMF FOR SEMANTICS”, Period. Polytech. Elec. Eng., vol. 35, no. 3, pp. 165–192, Jan. 1991.