Translation of Z specifications to executable code: Application to the database domain. - Saeed Khalafinejad; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 2013)