TY - DATA AU - Hugh Glaser, Peter Hartel, Herbert Kuchen TI - Programming Languages: Implementations, Logics, and Programs SN - 9783540695370 PY - 1997/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/BFb0033832 ER -