Formal Aspects of Computing. Springer, London; British Computer Society, London. English. [1 vol. (= 6 issues) a year]

Journal, ISSN 0934-5043; 1433-299X/e

http://link.springer.com/journal/volumesAndIssues/165

Cover-to-cover reviewing in Zentralblatt MATH.

Library shelfmarks: TIB: ZO 6554; CWI: available