Semantic properties of Lucid's compute clause and its compilation
        
        
            
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
            
        
        
        
            Acta Informatica - 1980
            
        
        
        
            Acta Informatica - 1980
        
        
        ---. “Semantic Properties of Lucid's Compute Clause and Its Compilation.” Acta Informatica, vol. 13, no. 1, 1980, pp. 9–20, https://doi.org/10.1007/BF00288532.
        @article{hoffmann1980semantic,
  title = {Semantic properties of Lucid's compute clause and its compilation},
  author = {Hoffmann, Christoph M},
  journal = {Acta Informatica},
  volume = {13},
  number = {1},
  pages = {9--20},
  year = {1980},
  publisher = {Springer},
  doi = {10.1007/BF00288532},
  pdf = {Hoffmann-Acta_informatics-1980-Semantic_properties_of_lucid's_computer_Clause_and_its_complication.pdf}
}