@article{weko_4848_1, author = "Kita,Hidehiko and Sakabe,Toshiki and Inagaki,Yasuyoshi", title = "Algebraic Specification Method of Programming Languages", journal = "Research reports of the Faculty of Engineering, Mie University", year = "1986", volume = "11", number = "", pages = "43--54", month = "dec" }