@misc{_Investigations,
 howpublished={online},
 type={Grant},
 title={Investigations of logical systems and their applications to automated translation algorithms and electronic circuits testing},
}