Erik Poll Joachim van den Berg Bart Jacobs Formal specification of the JavaCard API in JML: the APDU class. 407-421 2001 36 Computer Networks 4 db/journals/cn/cn36.html#PollBJ01 http://dx.doi.org/10.1016/S1389-1286(01)00163-3