Abstract
This guide is for authors who are preparing papers forFormal Aspects of Computing using the\(LaT_E X\) document preparation system and the FAC style file.
Similar content being viewed by others
References
Butcher, J.:Copy-editing: The Cambridge Handbook. Cambridge University Press, 1981.
The Chicago Manual of Style. University of Chicago Press, Chicago 60637, USA, 1982.
Forgaard, R.: A Program for Generating and Analyzing Term Rewriting Systems, Master's Thesis, MIT Lab. for Computer Science, 1984.
Jouannaud, J. P., Lescanne, P. and Reinig, F.: Recursive Decomposition Ordering,Proc. Conf. on Formal Description of Programming Concepts II, pp. 331–346, 1982.
Lamport, L.:LaTeX: A Document Preparation System. Addison-Wesley, New York, 1986.
Pederson, J.: Obtaining Complete Sets of Reproductions and Equations without Using Special Unification Algorithms. Unpublished manuscript, 1985.
Peterson, G. E. and Stickel, M. E.: Complete Sets of Reductions for Some Equational Theories.J. ACM,28, 223–264 (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Notarmarco, C., Mulvey, R. Formal aspects of computing: LATEX style guide for authors. Formal Aspects of Computing 3, 367–376 (1991). https://doi.org/10.1007/BF01642509
Issue Date:
DOI: https://doi.org/10.1007/BF01642509