The formal semantics of programming languages
Winskel G.Kniha
Citace v seznamu literatury:
WINSKEL, G. The formal semantics of programming languages: an introduction. Foundations of computing. Cambridge, Mass.: MIT Press, c1993. ISBN 9780262291453. Dostupné také z: https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826.