Formal specification of the JavaCard (2001)

by E Poll, J van den Berg, B Jacobs
Venue:API in JML: the APDU class, Computer Networks