✓

@book{book_91438821,
    title = {Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings},
    author = {Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)},
    publisher = {Springer},
    isbn = {3540578870; 9783540578871; 9783540483830; 3540483837},
    year = {1994},
    series = {Lecture Notes in Computer Science    №789},
    edition = {1},
    url = {libgen.li/file.php?md5=af065ed693067efbacbc175bbe047a5d},
    date-added = {2024-1-18 19:45:45 +0100}
}

@book{book_91438821, title = {Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings}, author = {Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)}, publisher = {Springer}, isbn = {3540578870; 9783540578871; 9783540483830; 3540483837}, year = {1994}, series = {Lecture Notes in Computer Science №789}, edition = {1}, url = {libgen.li/file.php?md5=af065ed693067efbacbc175bbe047a5d}, date-added = {2024-1-18 19:45:45 +0100} }