Seisenberger, M., Berger, U., Miyamoto, K., & Schwichtenberg, H. (2011). Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. Lecture Notes In Computer Science, 6859, pp. 393-399. doi:10.1007/978-3-642-22944-2_29
Chicago Style CitationSeisenberger, Monika, Ulrich Berger, Kenji Miyamoto, and Helmut Schwichtenberg. "Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras." Lecture Notes In Computer Science 6859 (2011): 393-399.
MLA CitationSeisenberger, Monika, Ulrich Berger, Kenji Miyamoto, and Helmut Schwichtenberg. "Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras." Lecture Notes In Computer Science 6859 (2011): 393-399.
Warning: These citations may not always be 100% accurate.