PRA0: Specification
Internet bank Use Cases.