%0 Journal Article %1 journals/eait/DagdilelisS01 %A Dagdilelis, Vassilios %A Satratzemi, Maya %D 2001 %J Educ. Inf. Technol. %K dblp %N 2 %P 123-141 %T Post's Machine: A Didactic Microworld as an Introduction to Formal Programming. %U http://dblp.uni-trier.de/db/journals/eait/eait6.html#DagdilelisS01 %V 6

@article{journals/eait/DagdilelisS01, added-at = {2020-08-12T00:00:00.000+0200}, author = {Dagdilelis, Vassilios and Satratzemi, Maya}, biburl = {https://www.bibsonomy.org/bibtex/23c9627d61881ed15341566c94390ec5e/dblp}, ee = {https://doi.org/10.1023/A%3A1012319900191}, interhash = {d50cb14ae1cd132baeddb55b2f18c289}, intrahash = {3c9627d61881ed15341566c94390ec5e}, journal = {Educ. Inf. Technol.}, keywords = {dblp}, number = 2, pages = {123-141}, timestamp = {2020-08-13T11:48:46.000+0200}, title = {Post's Machine: A Didactic Microworld as an Introduction to Formal Programming.}, url = {http://dblp.uni-trier.de/db/journals/eait/eait6.html#DagdilelisS01}, volume = 6, year = 2001 }