TY  - SER
TI  - Formal Aspects of Computing [electronic resource]
SN  - 1433-299X
PB  - Springer London
UR  - http://link.springer.com/journal/165
ER  -