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.