Specification of computer program - Turski Wladyslaw M; Maibaum Thomas S E (Workingham Addison-Wesley, 1988)
Keywords: Computer programme language; Computer science