topic: algebraic specifications in Maude

deadline: 23.11.2018

task 1: create algebraic specification of an ATM ("bankomat" in Czech)
	- state: number of available banknotes for each value (100, 200, 500, 1000, 2000)
	- operations:
		- card validation
		- checking account balance
		- cash withdrawal
		- cash deposit
		- retrieving account information from the central database of a respective bank
		- reading user PIN from keyboard

task 2: document your solution
	- explain key decisions and high-level design

task 3: prepare some test cases (scenarios, inputs)
	- sequences of actions with an ATM