Macros for authors who wish to submit papers to the Springer journal “Formal Aspects of Computing”, in electronic form. The class (based on article) implements the journal’s standard layout.

The authors are Alison Woollatt, Mark Reed and Christiane Notarmarco. The package is Copyright © 2000 Cambridge University Press.