Formal Aspects of Computing: applicable formal methods Journal uri icon