@conference {TGyK89, title = {{SYS-DL}, a system development language supporting software quality assurance}, booktitle = {First Finnish-Hungarian Workshop on Programming Languages and Software Tools}, year = {1989}, month = {aug}, pages = {307-317}, author = {J. Toczki and Tibor Gyim{\'o}thy and Kocsis, F.} }