Semantics with applications: an appetizer - Nielson Hanne Riis; Nielson Flemming (London Springer-Verlag, 2007)
Bibliography 267-268p.; Index 269-274p.
Keywords: Computer Science